Zum Inhalt springen
- {{#headlines}}
- {{title}} {{/headlines}}
Profil
| Derzeitige Stellung | Emeritus |
|---|---|
| Fachgebiet | Theoretische Philosophie,Grundlagen der Mathematik, Logik, Mengenlehre |
| Keywords | Foundations of set theory, Logic and Computation, Modal Logic, Philosophy of Logic and Mathematics, Proof Theory |
| Auszeichnungen | 2024: emeritus |
Aktuelle Kontaktadresse
| Land | Italien |
|---|---|
| Ort | Firenze |
| Universität/Institution | Universita degli Studi di Firenze |
| Institut/Abteilung | Department of Letters and Philosophy |
Gastgeber*innen während der Förderung
| Prof. Dr. Helmut Schwichtenberg | Mathematisches Institut, Ludwig-Maximilians-Universität München (LMU), München |
|---|---|
| Prof. Dr. Wolfram Pohlers | Institut für Mathematische Logik und Grundlagenforschung, Universität Münster, Münster |
| Beginn der ersten Förderung | 01.08.1979 |
Programm(e)
| 1979 | Humboldt-Forschungsstipendien-Programm |
|---|
Publikationen (Auswahl)
| 1996 | Andrea Cantini: Logical Frameworks for Truth and Abstraction. An Axiomatic Study. Elsevier, 1996 |
|---|